(assert (=>)
